subtraction with borrowing